[next] [prev] [prev-tail] [tail] [up]

2.2.18 Integrals 1701 to 1800

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 362 416 436 629 486 415 451

N.S.

1 1.00 1.95 2.24 2.34 3.38 2.61 2.23 2.42

time (sec)

N/A 0.142 0.135 0.913 0.316 2.520 16.563 1.110 0.192

Problem 1702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 217 273 294 393 337 266 301

N.S.

1 1.00 1.51 1.90 2.04 2.73 2.34 1.85 2.09

time (sec)

N/A 0.100 0.090 0.904 0.288 2.303 7.213 2.017 2.336

Problem 1703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 138 164 189 210 211 161 178

N.S.

1 1.00 1.37 1.62 1.87 2.08 2.09 1.59 1.76

time (sec)

N/A 0.051 0.050 0.776 0.280 2.316 3.118 1.385 2.253

Problem 1704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 61 79 100 96 107 75 91

N.S.

1 1.00 0.84 1.08 1.37 1.32 1.47 1.03 1.25

time (sec)

N/A 0.040 0.022 0.717 0.294 1.415 0.919 0.738 0.054

Problem 1705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 27 35 50 50 53 25 52

N.S.

1 1.00 0.71 0.92 1.32 1.32 1.39 0.66 1.37

time (sec)

N/A 0.016 0.008 0.819 0.269 2.760 0.203 0.679 0.033

Problem 1706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 136 143 444 604 818 364 398

N.S.

1 1.00 0.93 0.98 3.04 4.14 5.60 2.49 2.73

time (sec)

N/A 0.090 0.065 0.860 0.293 2.047 1.690 0.889 2.543

Problem 1707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 189 203 739 1174 1445 411 711

N.S.

1 1.00 0.95 1.02 3.71 5.90 7.26 2.07 3.57

time (sec)

N/A 0.156 0.104 5.415 0.322 2.056 3.236 0.846 2.815

Problem 1708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 208 475 976 178 226 328 1400

N.S.

1 1.00 1.32 3.01 6.18 1.13 1.43 2.08 8.86

time (sec)

N/A 0.129 0.056 0.596 0.301 1.761 0.050 0.867 4.253

Problem 1709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 163 307 685 138 168 255 935

N.S.

1 1.00 1.03 1.94 4.34 0.87 1.06 1.61 5.92

time (sec)

N/A 0.098 0.047 0.617 0.309 1.775 0.037 0.743 3.323

Problem 1710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 120 175 454 98 116 185 564

N.S.

1 1.00 0.76 1.11 2.87 0.62 0.73 1.17 3.57

time (sec)

N/A 0.078 0.037 0.548 0.284 1.685 0.035 1.061 3.017

Problem 1711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 74 79 261 58 63 114 223

N.S.

1 1.00 0.45 0.48 1.59 0.35 0.38 0.70 1.36

time (sec)

N/A 0.056 0.023 0.246 0.281 2.242 0.019 1.141 2.917

Problem 1712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 45 33 125 24 26 74 77

N.S.

1 1.00 0.65 0.48 1.81 0.35 0.38 1.07 1.12

time (sec)

N/A 0.015 0.011 0.273 0.273 1.778 0.014 0.965 2.416

Problem 1713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 74 154 0 67 53 119 -1

N.S.

1 1.00 0.56 1.17 0.00 0.51 0.40 0.90 -0.01

time (sec)

N/A 0.056 0.029 0.634 0.000 1.222 0.153 0.820 0.000

Problem 1714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 96 170 0 102 71 123 -1

N.S.

1 1.00 0.67 1.18 0.00 0.71 0.49 0.85 -0.01

time (sec)

N/A 0.062 0.034 0.638 0.000 1.550 0.251 1.481 0.000

Problem 1715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 89 123 0 101 94 127 -1

N.S.

1 1.00 0.59 0.81 0.00 0.67 0.62 0.84 -0.01

time (sec)

N/A 0.062 0.036 0.605 0.000 1.635 0.482 1.732 0.000

Problem 1716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 81 77 0 85 107 117 86

N.S.

1 1.00 0.78 0.74 0.00 0.82 1.03 1.12 0.83

time (sec)

N/A 0.037 0.028 0.556 0.000 1.508 0.870 1.640 2.135

Problem 1717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 80 76 0 94 117 116 85

N.S.

1 1.00 0.51 0.48 0.00 0.59 0.74 0.73 0.54

time (sec)

N/A 0.063 0.026 0.563 0.000 1.435 1.451 1.386 2.155

Problem 1718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 83 79 0 106 134 119 88

N.S.

1 1.00 0.53 0.50 0.00 0.67 0.85 0.75 0.56

time (sec)

N/A 0.063 0.029 0.560 0.000 1.613 2.407 1.458 2.166

Problem 1719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 82 78 0 115 144 118 87

N.S.

1 1.00 0.52 0.49 0.00 0.73 0.91 0.75 0.55

time (sec)

N/A 0.064 0.028 0.562 0.000 1.399 3.523 1.388 2.159

Problem 1720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 496 676 1289 519 0 922 -1

N.S.

1 1.00 1.66 2.27 4.33 1.74 0.00 3.09 -0.00

time (sec)

N/A 0.335 0.151 0.806 0.291 1.464 0.000 1.210 0.000

Problem 1721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 410 552 978 427 0 758 -1

N.S.

1 1.00 1.38 1.85 3.28 1.43 0.00 2.54 -0.00

time (sec)

N/A 0.257 0.110 0.813 0.289 1.370 0.000 0.841 0.000

Problem 1722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 320 428 685 335 0 594 -1

N.S.

1 1.00 1.24 1.65 2.64 1.29 0.00 2.29 -0.00

time (sec)

N/A 0.211 0.101 0.796 0.284 1.591 0.000 1.536 0.000

Problem 1723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 233 304 454 243 0 431 -1

N.S.

1 1.00 1.18 1.54 2.29 1.23 0.00 2.18 -0.01

time (sec)

N/A 0.151 0.071 0.947 0.286 3.518 0.000 1.201 0.000

Problem 1724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 144 180 261 151 0 267 -1

N.S.

1 1.00 1.07 1.33 1.93 1.12 0.00 1.98 -0.01

time (sec)

N/A 0.093 0.047 0.840 0.275 2.014 0.000 0.911 0.000

Problem 1725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 83 90 125 69 0 144 42

N.S.

1 1.00 1.20 1.30 1.81 1.00 0.00 2.09 0.61

time (sec)

N/A 0.014 0.021 0.691 0.300 2.416 0.000 1.247 2.212

Problem 1726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 187 358 0 252 0 428 -1

N.S.

1 1.00 0.79 1.52 0.00 1.07 0.00 1.81 -0.00

time (sec)

N/A 0.111 0.088 0.814 0.000 2.091 0.000 0.837 0.000

Problem 1727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 262 540 0 378 0 425 -1

N.S.

1 1.00 0.92 1.89 0.00 1.33 0.00 1.49 -0.00

time (sec)

N/A 0.169 0.107 0.805 0.000 2.602 0.000 1.037 0.000

Problem 1728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 256 566 0 399 0 417 -1

N.S.

1 1.00 0.91 2.02 0.00 1.42 0.00 1.49 -0.00

time (sec)

N/A 0.149 0.113 0.814 0.000 2.450 0.000 1.377 0.000

Problem 1729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 251 512 0 390 0 411 -1

N.S.

1 1.00 0.88 1.80 0.00 1.37 0.00 1.45 -0.00

time (sec)

N/A 0.129 0.109 0.810 0.000 1.962 0.000 1.434 0.000

Problem 1730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 240 394 0 334 0 419 -1

N.S.

1 1.00 0.93 1.53 0.00 1.30 0.00 1.63 -0.00

time (sec)

N/A 0.119 0.108 0.796 0.000 2.435 0.000 1.254 0.000

Problem 1731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 229 315 0 283 0 425 577

N.S.

1 1.00 2.16 2.97 0.00 2.67 0.00 4.01 5.44

time (sec)

N/A 0.037 0.078 0.823 0.000 2.614 0.000 1.434 2.197

Problem 1732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 229 316 0 294 0 426 577

N.S.

1 1.00 1.19 1.64 0.00 1.52 0.00 2.21 2.99

time (sec)

N/A 0.093 0.077 0.810 0.000 1.850 0.000 1.081 2.175

Problem 1733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 233 317 0 306 0 427 577

N.S.

1 1.00 0.78 1.06 0.00 1.03 0.00 1.43 1.94

time (sec)

N/A 0.139 0.081 0.808 0.000 2.274 0.000 1.423 2.219

Problem 1734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 229 315 0 313 0 425 577

N.S.

1 1.00 0.77 1.06 0.00 1.05 0.00 1.43 1.94

time (sec)

N/A 0.119 0.077 0.809 0.000 1.938 0.000 1.354 2.273

Problem 1735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 232 317 0 326 0 427 577

N.S.

1 1.00 0.78 1.06 0.00 1.09 0.00 1.43 1.94

time (sec)

N/A 0.116 0.089 0.810 0.000 2.601 0.000 1.300 2.578

Problem 1736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 232 317 0 336 0 427 577

N.S.

1 1.00 0.78 1.06 0.00 1.13 0.00 1.43 1.94

time (sec)

N/A 0.115 0.082 0.807 0.000 2.765 0.000 1.116 2.389

Problem 1737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 233 317 0 345 0 427 577

N.S.

1 1.00 0.78 1.06 0.00 1.16 0.00 1.43 1.94

time (sec)

N/A 0.115 0.078 0.827 0.000 2.291 0.000 1.980 2.359

Problem 1738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 876 1264 1686 965 0 1702 -1

N.S.

1 1.00 2.01 2.90 3.87 2.21 0.00 3.90 -0.00

time (sec)

N/A 0.629 0.272 0.817 0.292 2.468 0.000 1.365 0.000

Problem 1739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

383 383 740 1068 1289 821 0 1446 -1

N.S.

1 1.00 1.93 2.79 3.37 2.14 0.00 3.78 -0.00

time (sec)

N/A 0.505 0.230 0.816 0.297 3.623 0.000 1.285 0.000

Problem 1740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 611 872 978 677 0 1192 -1

N.S.

1 1.00 1.89 2.69 3.02 2.09 0.00 3.68 -0.00

time (sec)

N/A 0.398 0.169 0.816 0.304 2.861 0.000 1.553 0.000

Problem 1741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 478 676 685 533 0 934 -1

N.S.

1 1.00 1.85 2.61 2.64 2.06 0.00 3.61 -0.00

time (sec)

N/A 0.300 0.142 0.814 0.280 2.114 0.000 1.504 0.000

Problem 1742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 347 480 454 389 0 679 -1

N.S.

1 1.00 1.75 2.42 2.29 1.96 0.00 3.43 -0.01

time (sec)

N/A 0.222 0.114 0.801 0.280 1.074 0.000 1.134 0.000

Problem 1743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 214 284 261 245 0 425 -1

N.S.

1 1.00 1.59 2.10 1.93 1.81 0.00 3.15 -0.01

time (sec)

N/A 0.136 0.074 0.743 0.273 2.887 0.000 1.204 0.000

Problem 1744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 121 138 125 115 0 217 -1

N.S.

1 1.00 1.75 2.00 1.81 1.67 0.00 3.14 -0.01

time (sec)

N/A 0.014 0.030 0.711 0.288 1.487 0.000 1.327 0.000

Problem 1745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 386 754 0 540 0 920 -1

N.S.

1 1.00 1.14 2.22 0.00 1.59 0.00 2.71 -0.00

time (sec)

N/A 0.165 0.177 0.833 0.000 0.972 0.000 1.094 0.000

Problem 1746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

423 423 506 1084 0 767 0 905 -1

N.S.

1 1.00 1.20 2.56 0.00 1.81 0.00 2.14 -0.00

time (sec)

N/A 0.367 0.194 0.835 0.000 2.300 0.000 1.947 0.000

Problem 1747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

424 424 501 1205 0 840 0 887 -1

N.S.

1 1.00 1.18 2.84 0.00 1.98 0.00 2.09 -0.00

time (sec)

N/A 0.306 0.213 0.834 0.000 2.497 0.000 1.446 0.000

Problem 1748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

425 425 504 1233 0 862 0 874 -1

N.S.

1 1.00 1.19 2.90 0.00 2.03 0.00 2.06 -0.00

time (sec)

N/A 0.493 0.235 0.835 0.000 1.400 0.000 2.097 0.000

Problem 1749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 497 1163 0 834 0 870 -1

N.S.

1 1.00 1.18 2.76 0.00 1.98 0.00 2.07 -0.00

time (sec)

N/A 0.514 0.230 0.844 0.000 1.108 0.000 1.110 0.000

Problem 1750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 422 490 1012 0 770 0 863 -1

N.S.

1 1.00 1.16 2.40 0.00 1.82 0.00 2.05 -0.00

time (sec)

N/A 0.337 0.209 0.822 0.000 1.295 0.000 1.123 0.000

Problem 1751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 477 809 0 669 0 871 -1

N.S.

1 1.00 1.31 2.22 0.00 1.83 0.00 2.39 -0.00

time (sec)

N/A 0.192 0.208 0.793 0.000 1.146 0.000 1.929 0.000

Problem 1752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 465 687 0 586 0 917 1489

N.S.

1 1.00 4.39 6.48 0.00 5.53 0.00 8.65 14.05

time (sec)

N/A 0.039 0.148 0.810 0.000 1.374 0.000 1.293 2.590

Problem 1753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 466 688 0 598 0 918 1489

N.S.

1 1.00 2.41 3.56 0.00 3.10 0.00 4.76 7.72

time (sec)

N/A 0.091 0.157 0.820 0.000 1.079 0.000 1.008 2.536

Problem 1754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 468 688 0 609 0 918 1489

N.S.

1 1.00 1.79 2.63 0.00 2.32 0.00 3.50 5.68

time (sec)

N/A 0.125 0.147 0.814 0.000 1.515 0.000 1.919 2.639

Problem 1755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 468 689 0 622 0 919 1488

N.S.

1 1.00 1.07 1.57 0.00 1.42 0.00 2.10 3.40

time (sec)

N/A 0.244 0.160 0.818 0.000 1.075 0.000 1.525 2.570

Problem 1756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 471 689 0 631 0 919 1489

N.S.

1 1.00 1.08 1.57 0.00 1.44 0.00 2.10 3.40

time (sec)

N/A 0.209 0.158 0.813 0.000 1.721 0.000 0.990 2.596

Problem 1757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 465 687 0 637 0 917 1489

N.S.

1 1.00 1.06 1.57 0.00 1.45 0.00 2.09 3.40

time (sec)

N/A 0.191 0.149 0.814 0.000 2.260 0.000 0.922 2.634

Problem 1758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

435 435 471 689 0 650 0 919 1489

N.S.

1 1.00 1.08 1.58 0.00 1.49 0.00 2.11 3.42

time (sec)

N/A 0.195 0.153 0.808 0.000 3.590 0.000 1.088 2.622

Problem 1759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 185 356 424 263 221 431 -1

N.S.

1 1.00 0.75 1.44 1.71 1.06 0.89 1.74 -0.00

time (sec)

N/A 0.089 0.096 0.643 0.284 4.100 0.428 1.376 0.000

Problem 1760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 118 212 241 156 117 254 -1

N.S.

1 1.00 0.62 1.11 1.26 0.82 0.61 1.33 -0.01

time (sec)

N/A 0.068 0.058 0.719 0.276 2.153 0.286 1.419 0.000

Problem 1761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 72 104 106 77 53 122 -1

N.S.

1 1.00 0.54 0.78 0.79 0.57 0.40 0.91 -0.01

time (sec)

N/A 0.052 0.030 0.565 0.272 2.527 0.144 1.043 0.000

Problem 1762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 40 43 52 25 20 45 79

N.S.

1 1.00 0.58 0.62 0.75 0.36 0.29 0.65 1.14

time (sec)

N/A 0.017 0.013 0.545 0.281 2.822 0.065 1.496 2.471

Problem 1763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 66 76 0 56 226 87 -1

N.S.

1 1.00 0.62 0.71 0.00 0.52 2.11 0.81 -0.01

time (sec)

N/A 0.055 0.029 0.661 0.000 2.860 1.011 1.063 0.000

Problem 1764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 97 161 0 147 355 190 -1

N.S.

1 1.00 0.66 1.09 0.00 0.99 2.40 1.28 -0.01

time (sec)

N/A 0.052 0.098 0.794 0.000 2.342 0.701 1.017 0.000

Problem 1765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 131 321 0 332 558 306 -1

N.S.

1 1.00 0.62 1.51 0.00 1.57 2.63 1.44 -0.00

time (sec)

N/A 0.099 0.118 0.802 0.000 2.541 1.183 1.139 0.000

Problem 1766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 168 545 0 593 818 494 -1

N.S.

1 1.00 0.62 2.01 0.00 2.19 3.02 1.82 -0.00

time (sec)

N/A 0.118 0.116 0.787 0.000 3.225 1.641 1.390 0.000

Problem 1767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 373 858 734 632 0 444 -1

N.S.

1 1.00 1.13 2.61 2.23 1.92 0.00 1.35 -0.00

time (sec)

N/A 0.229 0.176 0.951 0.291 2.253 0.000 1.133 0.000

Problem 1768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 256 556 473 419 0 312 -1

N.S.

1 1.00 1.03 2.23 1.90 1.68 0.00 1.25 -0.00

time (sec)

N/A 0.146 0.113 0.955 0.275 1.999 0.000 1.154 0.000

Problem 1769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 151 303 274 239 0 179 -1

N.S.

1 1.00 0.81 1.63 1.47 1.28 0.00 0.96 -0.01

time (sec)

N/A 0.103 0.068 0.965 0.275 2.229 0.000 3.242 0.000

Problem 1770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 86 109 125 108 0 93 -1

N.S.

1 1.00 0.68 0.86 0.98 0.85 0.00 0.73 -0.01

time (sec)

N/A 0.065 0.035 0.803 0.277 2.136 0.000 3.248 0.000

Problem 1771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 39 32 56 38 0 32 42

N.S.

1 1.00 0.57 0.46 0.81 0.55 0.00 0.46 0.61

time (sec)

N/A 0.016 0.012 0.817 0.285 1.958 0.000 2.080 2.053

Problem 1772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 132 315 0 347 0 285 -1

N.S.

1 1.00 0.67 1.61 0.00 1.77 0.00 1.45 -0.01

time (sec)

N/A 0.107 0.083 1.000 0.000 1.293 0.000 2.580 0.000

Problem 1773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 174 828 0 783 0 456 -1

N.S.

1 1.00 0.65 3.11 0.00 2.94 0.00 1.71 -0.00

time (sec)

N/A 0.164 0.138 1.028 0.000 1.511 0.000 1.310 0.000

Problem 1774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

332 332 220 1271 0 1193 0 615 -1

N.S.

1 1.00 0.66 3.83 0.00 3.59 0.00 1.85 -0.00

time (sec)

N/A 0.209 0.201 1.000 0.000 1.558 0.000 2.006 0.000

Problem 1775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

373 373 513 1153 1004 860 0 618 -1

N.S.

1 1.00 1.38 3.09 2.69 2.31 0.00 1.66 -0.00

time (sec)

N/A 0.276 0.243 0.974 0.358 1.204 0.000 1.247 0.000

Problem 1776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 331 735 751 570 0 432 -1

N.S.

1 1.00 1.07 2.37 2.42 1.84 0.00 1.39 -0.00

time (sec)

N/A 0.195 0.155 0.904 0.343 1.921 0.000 1.134 0.000

Problem 1777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 239 385 531 335 0 286 -1

N.S.

1 1.00 1.05 1.70 2.34 1.48 0.00 1.26 -0.00

time (sec)

N/A 0.118 0.104 0.924 0.295 1.324 0.000 1.570 0.000

Problem 1778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 142 174 276 182 0 172 302

N.S.

1 1.00 1.34 1.64 2.60 1.72 0.00 1.62 2.85

time (sec)

N/A 0.042 0.054 0.894 0.284 0.569 0.000 1.235 2.360

Problem 1779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 75 77 126 105 0 82 87

N.S.

1 1.00 0.56 0.57 0.93 0.78 0.00 0.61 0.64

time (sec)

N/A 0.066 0.035 0.772 0.273 1.198 0.000 1.339 2.238

Problem 1780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 39 33 56 61 0 33 43

N.S.

1 1.00 0.55 0.46 0.79 0.86 0.00 0.46 0.61

time (sec)

N/A 0.015 0.014 0.809 0.273 0.704 0.000 1.073 2.124

Problem 1781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 182 777 0 909 0 600 -1

N.S.

1 1.00 0.60 2.57 0.00 3.01 0.00 1.99 -0.00

time (sec)

N/A 0.177 0.113 0.958 0.000 0.855 0.000 0.744 0.000

Problem 1782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 250 1652 0 1657 0 841 -1

N.S.

1 1.00 0.64 4.26 0.00 4.27 0.00 2.17 -0.00

time (sec)

N/A 0.292 0.200 1.089 0.000 1.489 0.000 1.164 0.000

Problem 1783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

460 460 302 2420 0 2383 0 1086 -1

N.S.

1 1.00 0.66 5.26 0.00 5.18 0.00 2.36 -0.00

time (sec)

N/A 0.360 0.283 1.043 0.000 1.352 0.000 1.158 0.000

Problem 1784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 138 148 168 409 1020 1913 115

N.S.

1 1.00 1.08 1.16 1.31 3.20 7.97 14.95 0.90

time (sec)

N/A 0.049 0.126 0.636 0.280 1.570 0.716 1.004 2.043

Problem 1785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 138 148 168 344 857 1368 115

N.S.

1 1.00 1.08 1.16 1.31 2.69 6.70 10.69 0.90

time (sec)

N/A 0.035 0.130 0.638 0.281 1.405 0.467 0.926 2.112

Problem 1786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 139 148 168 277 586 901 115

N.S.

1 1.00 1.09 1.16 1.31 2.16 4.58 7.04 0.90

time (sec)

N/A 0.035 0.116 0.647 0.274 0.956 11.159 1.278 0.069

Problem 1787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 138 148 168 208 201 511 115

N.S.

1 1.00 1.08 1.16 1.31 1.62 1.57 3.99 0.90

time (sec)

N/A 0.035 0.107 0.644 0.276 1.162 2.266 1.300 0.074

Problem 1788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 137 147 168 147 583 215 115

N.S.

1 1.00 1.09 1.17 1.33 1.17 4.63 1.71 0.91

time (sec)

N/A 0.035 0.102 0.615 0.273 1.290 25.593 0.932 0.075

Problem 1789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 135 200 174 155 150 219 154

N.S.

1 1.00 1.09 1.61 1.40 1.25 1.21 1.77 1.24

time (sec)

N/A 0.034 0.111 0.673 0.274 0.829 13.317 0.818 0.084

Problem 1790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 136 174 170 164 709 206 189

N.S.

1 1.00 1.10 1.40 1.37 1.32 5.72 1.66 1.52

time (sec)

N/A 0.035 0.139 0.681 0.270 1.151 0.460 0.823 1.987

Problem 1791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 136 158 171 175 1015 202 168

N.S.

1 1.00 1.10 1.27 1.38 1.41 8.19 1.63 1.35

time (sec)

N/A 0.034 0.128 0.695 0.275 1.082 0.685 1.069 0.097

Problem 1792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 339 352 428 868 2091 3913 197

N.S.

1 1.00 1.56 1.61 1.96 3.98 9.59 17.95 0.90

time (sec)

N/A 0.092 0.325 0.969 0.281 1.394 1.051 1.939 1.977

Problem 1793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 340 352 428 747 2193 2860 197

N.S.

1 1.00 1.56 1.61 1.96 3.43 10.06 13.12 0.90

time (sec)

N/A 0.064 0.306 0.949 0.284 1.400 36.639 1.378 1.921

Problem 1794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 339 352 428 624 1297 1937 197

N.S.

1 1.00 1.56 1.61 1.96 2.86 5.95 8.89 0.90

time (sec)

N/A 0.064 0.305 0.924 0.276 1.260 23.090 0.853 0.061

Problem 1795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 339 352 428 505 517 1144 197

N.S.

1 1.00 1.56 1.61 1.96 2.32 2.37 5.25 0.90

time (sec)

N/A 0.063 0.289 0.914 0.276 1.666 4.133 1.457 1.933

Problem 1796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 338 351 428 388 1311 503 197

N.S.

1 1.00 1.56 1.62 1.98 1.80 6.07 2.33 0.91

time (sec)

N/A 0.062 0.281 0.908 0.280 1.573 62.829 1.771 0.058

Problem 1797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 335 558 434 396 394 587 296

N.S.

1 1.00 1.57 2.61 2.03 1.85 1.84 2.74 1.38

time (sec)

N/A 0.059 0.269 0.932 0.289 1.466 37.239 1.126 1.954

Problem 1798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 336 505 432 407 304 567 367

N.S.

1 1.00 1.57 2.36 2.02 1.90 1.42 2.65 1.71

time (sec)

N/A 0.063 0.326 0.895 0.293 1.415 48.193 0.898 1.944

Problem 1799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 337 462 433 415 2440 567 413

N.S.

1 1.00 1.57 2.16 2.02 1.94 11.40 2.65 1.93

time (sec)

N/A 0.061 0.286 0.985 0.283 1.375 0.894 1.143 1.996

Problem 1800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

308 308 628 938 800 1433 5414 6433 279

N.S.

1 1.00 2.04 3.05 2.60 4.65 17.58 20.89 0.91

time (sec)

N/A 0.128 0.563 0.928 0.282 1.762 88.469 1.519 2.022

[next] [prev] [prev-tail] [front] [up]